Modeling Language Variability
نویسندگان
چکیده
A systematic way of defining variants of a modeling language is useful for adopting the language to domain or project specific needs. Variants can be obtained by adopting the syntax or semantics of the language. In this paper, we take a formal approach to define modeling language variability and show how this helps to reason about language variants, models, and their semantics formally. We introduce the notion of semantic language refinement meaning that one semantics variant is implied by another.
منابع مشابه
Variability within Modeling Language Definitions
We present a taxonomy of the variability mechanisms offered by modeling languages. The definition of a formal language encompasses a syntax and a semantic domain as well as the mapping that relates them, thus language variabilities are classified according to which of those three pillars they address. This work furthermore proposes a framework to explicitly document and manage the variation poi...
متن کاملEstablishing Role-based Access Control in Viewpoint-oriented Variability Management
Process roles are used to structure complex engineering processes in single systems development for many years. Typically, each role has specific responsibilities from which certain information demands originate. In the engineering of variable software, role-specific information demands affect variability information. To control the access to the variability information, we suggest using the co...
متن کاملModeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language
The Abstract Behavioral Specification (ABS) language facilitates to precisely model the behavior of highly configurable, distributed systems. Its basis is Core ABS which is a strongly typed, abstract, objectbased, concurrent, fully executable modeling language. Spatial variability of ABS models is represented by feature models, delta modules containing modifications of ABS models, product line ...
متن کاملModeling Variability - From Direct Modeling to Generative Modeling
The paper shows how mechanisms of existing modeling languages (exemplified by UML 2.0) support the direct modeling of variability in software product lines/system families, and identifies where generative modeling (similar to generative programming) should be applied. Existing mechanisms are not only well-known mechanisms like composition, specialization, and generics/templates, but also less k...
متن کاملDelta Modeling for Software Architectures
Architectural modeling is an integral part of modern software development. In particular, diverse systems benefit from precise architectural models since similar components can often be reused between different system variants. However, during all phases of diverse system development, system variability has to be considered and modeled by appropriate means. Delta modeling is a language-independ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010